Qualitative Spatial Reasoning for Rule Compliant Agent Navigation
نویسندگان
چکیده
Artificial agents participating in public traffic must respect rules that regulate traffic. Rule sets are commonly formulated in natural language using purely qualitative terms. We present a case study on how to realize rule compliant agent control in the domain of sea navigation by using qualitative spatial reasoning techniques.
منابع مشابه
The Complexity of Reasoning with Relative Directions
Whether reasoning with relative directions can be performed in NP has been an open problem in qualitative spatial reasoning. Efficient reasoning with relative directions is essential, for example, in rule-compliant agent navigation. In this paper, we prove that reasoning with relative directions is ∃R-complete. As a consequence, reasoning with relative directions is not in NP, unless NP = ∃R.
متن کاملSailAway: Formalizing Navigation Rules
Agents that have to solve navigational tasks need to consider aspects that go far beyond single-agent goal-directed deliberation: What an agent does in a specific situation often interferes with what other agents do at the same time. In order to avoid conflicts or even collisions, situations in space are governed by laws, rules, and agreements between the involved agents. For this reason, artif...
متن کاملQualitative Spatial Reasoning for Navigating Agents - Behavior Formalization with Qualitative Representations
In this chapter we show how qualitative representations can be applied for the formalization of agent behavior. First, we give an introduction to several aspects of space relevant for agent motion and agent control, especially orientation, location, and distance. Based on these preliminaries we explain which characteristics a qualitative spatial representation and its operations, called qualita...
متن کاملRepresenting and Reasoning over Spatial Relations in OWL: A Rule-Based Approach
Representing spatial information for Semantic Web applications often involves missing or imprecise information. For example the exact coordinates of the boundaries of two regions may be unknown, but it may be known that these regions overlap. This fact can be expressed using qualitative terms such as “Overlapping”. Embedding such information into ontologies and Linked Data is an important pract...
متن کاملReasoning system to derive spatial information out of mixed quantitative-qualitative representations
Spatial data representation and the possibility of making spatial reasoning is essential in the field of Artificial Intelligence. There has been considerable research on spatial representations which are based on metric measurements, this research has led to the development of Geographic Information Systems (GIS). In the broadest sense, the term describes any system that integrates information,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007